End-extending models of $IΔ_0 + exp + ΒΣ_1$
نویسندگان
چکیده
منابع مشابه
On End-Extensions of Models of ¬exp
Every model of I∆0 is the tally part of a model of the stringlanguage theory Th-FO (a main feature of which consists in having induction on notation restricted to certain AC sets). We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of I∆0 + ¬exp is a prop...
متن کاملExtending End-to-End QoS to WiFi based WLAN
requirements on the network traffic compared to the traditional interactive and background applications. IEEE standard 802.11e addresses these QoS requirements in a WiFi based WLAN. It provides enhancements to the MAC layer protocol for supporting both prioritized and parameterized traffic between a QSTA and a QAP. To address the end-to-end QoS needs, the link level QoS supported by 802.11e sta...
متن کاملExtending Local Mixture Models
Local mixture models have proved useful in many statistical applica tions. This paper looks at ways in which the local assumption, which is used in an asymptotic approximation, can be relaxed in order to generate a much larger class of models which still have the very attractive geometric and inferential properties of local mixture models. The tool used to develop this large class of models is...
متن کاملExtending Image Quality Models
Image quality is known to be multivalued with some visual attributes or "nesses." One example of a "ness" is colorfulness. Published research has shown that the image quality versus colorfulness function reaches a maximum and increasing colorfulness beyond the optimum level actually degrades image quality. The present formulations of image quality models—e.g. Minkowski metrics and the Generaliz...
متن کاملExtending social cognition models of health behaviour.
A cross-sectional study assessed the extent to which indices of social structure, including family socio-economic status (SES), social deprivation, gender and educational/lifestyle aspirations correlated with adolescent condom use and added to the predictive utility of a theory of planned behaviour model. Analyses of survey data from 824 sexually active 16-year-olds (505 women and 319 men) test...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1990
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-136-3-133-145